interface{-}left($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\lambda$$f$,$s$. $\lambda$$x$.$x$ o $f$($s$)   o $X$